Model-driven automation for simulation-based functional verification
نویسندگان
چکیده
منابع مشابه
Interface-driven Model-based Test Automation
M odel-based test automation has helped reduce cost, provide early identification of requirements defects, and improve test coverage [1, 2, 3, 4, 5, 6]. Industry use of model-based test automation has provided insight into practical methods that use interface driven analysis with requirements mod-eling to support automated test generation. However, the term interface is used loosely in this art...
متن کاملSimulation Tool for Functional Verification of Ttp/c–based Systems
This article describes a software tool that implements Clanguage written simulation model of distributed embedded computer system that is interconnected by means of TTP/C protocol. The aim of simulation is to evaluate specified system’s properties when used as a safety critical control system. The method that uses simulated faults to disturb system’s activity was developed during the solution o...
متن کاملSystem Level Formal Verification via Model Checking Driven Simulation
We show how by combining Explicit Model Checking techniques and simulation it is possible to effectively carry out (bounded) System Level Formal Verification of large Hybrid Systems such as those defined using model-based tools like Simulink. We use an explicit model checker (namely, CMurphi) to generate all possible (finite horizon) simulation scenarios and then optimise the simulation of such...
متن کاملSecurity Functional Testing Using An Interface-Driven Model-Based Test Automation Approach
Independent security functional testing on a product occupies a backseat in traditional security evaluation because of the cost and stringent coverage requirements. In this paper we present the details of an approach we have developed to automate security functional testing. The underlying framework is called TAF (Test Automation Framework) and the toolkit we have developed based on TAF is the ...
متن کاملAn aspect-oriented, model-driven approach to functional hardware verification
The cost of correcting errors in the design of an embedded system’s hardware components can be higher than for its software components, making it important to test as early as possible. Testing hardware components before they are implemented involves verifying the design through either formal or more commonly, simulation-based functional verification. Performing functional verification of a har...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Design Automation of Electronic Systems
سال: 2012
ISSN: 1084-4309,1557-7309
DOI: 10.1145/2209291.2209304